Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
101	Data Center Network Throughput Analysis using Queueing Petri Nets Piotr Rygielski and Samuel Kounev Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KITKarlsruhe, Germany Add to Reading List Source URL: www.relate-itn.eu Language: English - Date: 2014-09-09 04:41:09 Probability and statistics Models of computation Mathematical sciences Markov models Teletraffic Petri net Queueing theory Traffic generation model Simulation Statistics Operations research Stochastic processes
102	A Model Seeker: Extracting Global Constraint Models From Positive Examples Nicolas Beldiceanu and Helmut Simonis TASC team (INRIA/CNRS), Mines de Nantes, France Cork Constraint Computation Centre Department of Computer S Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:09:59 E Constraint programming Mathematics Mathematical optimization Constraint Cardinality
103	International Journal of Unconventional Computing Non-classical computation and cellular automata http://www.oldcitypublishing.com/IJUC/IJUC.html EDITOR IN CHIEF Add to Reading List Source URL: www.oldcitypublishing.com Language: English - Date: 2012-06-13 12:08:36 Bibliography Cellular automaton TeX Citation Computer Ferdinand Peper Peer review Unconventional computing Actor model Computing Publishing Knowledge
104	MASTER THESIS IN MICRODATA ANALYSIS Computation and application of the spatial zero inflated count response Author: Shengqiang Guo Add to Reading List Source URL: www.statistics.du.se Language: English - Date: 2014-06-25 03:04:33 Econometrics Actuarial science Statistical methods Generalized linear model Linear regression Mixed model Least squares Random effects model Poisson distribution Statistics Regression analysis Statistical models
105	A Formalism for Graph Databases and its Model of Computation Juan Reutter and Tony Tan University of Edinburgh Abstract. Graph databases are directed graphs in which the edges are labeled with symbols from a finite alpha Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-12-24 11:08:55 Vertex Matching Matroid theory Graph operations Skew-symmetric graph Graph theory Graph Directed graph
106	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
107	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
108	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software
109	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
110	Seminar on Sublinear Time Algorithms Lecture 5 April 21, 2010 Lecturer: Robert Krauthgamer Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-05-17 00:53:00 Quantum complexity theory Probabilistic complexity theory Models of computation Analysis of algorithms Randomized algorithm PP Decision tree model IP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics

UPDATE